Capture/Replay Framework for Eiffel

The ability to reproduce a program execution has many applications. Especially in software debugging, reproducing a failure is often time consuming if not impossible. Can we automate the task? The goal of this master project is to design and implement a framework to reproduce executions for Eiffel programs. The framework uses Capture/Replay, a technique to reproduce program executions by simulating the environment a program was previously exposed to. With the framework, we were able to automatically reproduce executions covering both sequential and concurrent programs. Further experiments showed that capturing entails acceptable time overhead, even for large GUI applications containing several million lines of code.